When I cut, you choose method implies intransitivity

When "I cut, you choose" method implies intransitivity

There is a common belief that humans and many animals follow transitive inference (choosing A over C on the basis of knowing that A is better than B and B is better than C). Transitivity seems to be the essence of rational choice. We present a theoretical model of a repeated game in which the players make a choice between three goods (e.g. food). The rules of the game refer to the simple proced...

Consistency Implies Cut Admissibility

For any finite and consistent first-order theory, we can find a presentation as a rewriting system that enjoys cut admissibility. Since proofs are rarely built without context, it is essential to develop methods that are adapted to search for proofs in theories. For instance, SMT provers provide efficient tools. Nevertheless, they are restricted to some particular theories, such as linear arith...

How do You Choose What to Use? Technology Choice When You Have So Much

This research-in-progress provides a fresh insight into technology choice in our daily activities. As opposed to prior studies that focus on technology in the work environment, this research is centered on individual technology choice while performing daily tasks: searching for information, executing transactions, consuming entertainment, and communicating. As hardware has become more affordabl...

You know I can't hear you when the water's running.

Fast Optimistically Fair Cut-and-Choose 2PC

Secure two party computation (2PC) is a well-studied problem with many real world applications. Due to Cleve’s result on general impossibility of fairness, however, the state-of-the-art solutions only provide security with abort. We investigate fairness for 2PC in presence of a trusted Arbiter, in an optimistic setting where the Arbiter is not involved if the parties act fairly. Existing fair s...